Internet Archive's in-browser video "theater" requires JavaScript to be enabled. It appears your browser does not have it turned on. Please see your browser settings for this feature.

Untyped Lambda Calculus Interpretations v1

by: ClaudiusMaximus

Publication date: 2009
Usage: Attribution-ShareAlike 2.0 England & Wales
Topics: Computation, Algorithm, Lambda Calculus, Visualisation
Item Size: 1.0G

audio-visualisation of some computations in untyped lambda calculus

Contact Information: http://claudiusmaximus.goto10.org mailto:claudiusmaximus@goto10.org

Addeddate: 2009-06-12 11:57:11
Color: color
Identifier: ClaudiusMaximus_-_ULCIv1
Run time: 9m36s
Sound: sound
Year: 2009

comment
Reviews

1,094 Views

DOWNLOAD OPTIONS

15 files

512KB MPEG4

BACK

9.5M

ack23_dvd_512kb.mp4

9.2M

ack23_hd_512kb.mp4

9.3M

ack23_ld_512kb.mp4

8.7M

fact4_dvd_512kb.mp4

8.5M

fact4_hd_512kb.mp4

8.5M

fact4_ld_512kb.mp4

10.2M

fib6_dvd_512kb.mp4

9.9M

fib6_hd_512kb.mp4

9.9M

fib6_ld_512kb.mp4

633.1K

sixteen_dvd_512kb.mp4

644.7K

sixteen_hd_512kb.mp4

586.4K

sixteen_ld_512kb.mp4

9.6M

sqrt22_dvd_512kb.mp4

9.3M

sqrt22_hd_512kb.mp4

9.3M

sqrt22_ld_512kb.mp4

1 file

ITEM TILE

5 files

MPEG2

BACK

94.8M

ack23 (dvd)

85.2M

fact4 (dvd)

108.7M

fib6 (dvd)

3.4M

sixteen (dvd)

118.7M

sqrt22 (dvd)

10 files

OGG THEORA

BACK

76.3M

ack23 (hd)

10.6M

ack23 (ld)

70.1M

fact4 (hd)

9.4M

fact4 (ld)

93.2M

fib6 (hd)

11.4M

fib6 (ld)

1.9M

sixteen (hd)

348.2K

sixteen (ld)

98.7M

sqrt22 (hd)

10.7M

sqrt22 (ld)

15 files

OGG VIDEO

BACK

9.9M

ack23_dvd.ogv

10.2M

ack23_hd.ogv

10.2M

ack23_ld.ogv

8.9M

fact4_dvd.ogv

9.1M

fact4_hd.ogv

9.1M

fact4_ld.ogv

10.6M

fib6_dvd.ogv

10.8M

fib6_hd.ogv

10.8M

fib6_ld.ogv

384.1K

sixteen_dvd.ogv

441.3K

sixteen_hd.ogv

426.2K

sixteen_ld.ogv

9.9M

sqrt22_dvd.ogv

10.2M

sqrt22_hd.ogv

10.2M

sqrt22_ld.ogv

1 file

TORRENT

124 Files
22 Original

SHOW ALL

IN COLLECTIONS

Community Video

Uploaded by Unknown on June 12, 2009

Internet Archive Audio

Featured

Top

Images

Featured

Top

Software

Featured

Top

Texts

Featured

Top

Video

Featured

Top

Mobile Apps

Browser Extensions

Archive-It Subscription

Save Page Now

Untyped Lambda Calculus Interpretations v1

comment
Reviews

DOWNLOAD OPTIONS

IN COLLECTIONS

SIMILAR ITEMS (based on metadata)

Internet Archive Audio

Featured

Top

Images

Featured

Top

Software

Featured

Top

Texts

Featured

Top

Video

Featured

Top

Mobile Apps

Browser Extensions

Archive-It Subscription

Save Page Now

Untyped Lambda Calculus Interpretations v1

Video Item Preview

Flag this item for

Untyped Lambda Calculus Interpretations v1

plus-circle Add Review comment Reviews

DOWNLOAD OPTIONS

IN COLLECTIONS

SIMILAR ITEMS (based on metadata)

comment
Reviews